61. Computer aided proofs in analysis
پدیدآورنده :
موضوع : ، Numerical analysis-- Data processing-- Congresses
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
62. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Numerical analysis
رده :
QA
1
.
I52
v
.
28
63. Computer arithmetic and self-validating numerical methods
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer arithmetic-- Congresses,، Numerical analysis-- Congresses
رده :
QA
76
.
9
.
C62
.
C663
1990
64. Computer oriented analysis of shell structures: proceedings
پدیدآورنده : edited by Richard F. Hartung
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SHELLS )ENGINEERING(-CONGRESSES , NUMERICAL ANALYSIS-CONGRESSES , ELECTRONIC DATA PROCESSING-
رده :
TA
660
.
S5
C66
1970
65. Computing methods in applied science and engineering. International symposium, Versailles, December 17-21, 1973
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematical analysis-- Congresses,، Numerical analysis-- Congresses,، Engineering mathematics-- Congresses
رده :
QA
300
.
C63
66. Computing methods in applied science and engineering . International symposium, Versialles , dec , 17-21,1973
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Mathematical analysis - Congresses,، Numerical analysis - Congresses,، Englineering Mathamtics - Congresses
رده :
QA
300
.
C63
67. Computing methods in applied science and engineering, VII
پدیدآورنده : Edited by R. Glowinski, J. L. Lions
موضوع : Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
68. Computing methods in applied sciences and engineering, 1977, I
پدیدآورنده : Third International Symposium, December 5-9, 7791 ; ]organized by[ IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Data processing -- Congresses ، Numerical analysis,Congresses ، Science -- Data processing,Congresses ، Engineering -- Data processing
رده :
QA
297
.
I5
1977
69. Conference on applications of numerical analysis; held in Dundee
پدیدآورنده : Conference on Applications of Numerical Analysis, Dumdee, Scot
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Numerical analysis
رده :
QA
3
.
L28
no
.
228
70. Conference on applications of numerical analysis; held in Dundee/Scotland, March 23-26, 1971.]Proceedings[
پدیدآورنده :
موضوع : Congresses ، Numerical analysis
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
71. Constructive, experimental, and nonlinear analysis
پدیدآورنده : Michel Thera, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Number theory,Congresses ، Numerical analysis,Congresses ، Nonlinear functional analysis
رده :
QA
241
.
C767
72. Constructive, experimental, and nonlinear analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Number theory,Congresses ، Numerical analysis,Congresses ، Nonlinear functional analysis
رده :
QA
241
.
C6895
2000
73. Control theory, numerical methods, and computer systems modelling : international symposium, Rocquencourt, June 17-21, 1974
پدیدآورنده : International Conference on Control Theory, Numerical Methods and Computer Systems Modelling, 4791, Rocquencourt, France
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Control theory-- Congresses,، Numerical analysis-- Congresses,، Computer simulation-- Congresses
رده :
QA
402
.
3
.
I48
1974
74. Control theory, numerical methods, and computer systems modelling : international symposium, Rocquencourt, June 17-21, 1974
پدیدآورنده : edited by A. Bensoussan and J. L. Lions
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Control theory,Congresses ، Numerical analysis,Congresses ، Computer simulation
رده :
QA
402
.
3
.
I48
1974
75. Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotang University, Xi'an, China
پدیدآورنده : Zhangxin Chen, Roland Glowinski, Kaitai Li, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Science -- Data processing,Data processing -- Congresses ، Numerical analysis
رده :
Q
183
.
9
.
I285
2002
76. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
77. Design and implementation of symbolic computation systems :
پدیدآورنده : A. Miola, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
78. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده : A. Miola, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429
79. Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
پدیدآورنده : A. Miola, )Ed.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1990
80. Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA
76
.
9
.
S88
.
I576
1990
